1. An introduction to formal specification and Z
پدیدآورنده : / Ben Potter, John Sinclair and David Till
کتابخانه: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
موضوع : Computer software--Development.,Z (Computer program language)
رده :
QA
76
.
76
.
D47P68
1996
